Nuprl Definition : mkfpf
0,22
postcript
pdf
mkfpf(
a
;
b
) == <
a
,
b
>
latex
FDL editor aliases
mkfpf
origin